Learning in the Limit, General Topology and Modal Logic Nina Gierasimczuk results obtained jointly with A. Baltag and S. Smets Institute for Logic, Language and Computation University of Amsterdam

Source URL: fitelson.org

Temporal Mode-Checking for Runtime Monitoring of Privacy Policies Omar Chowdhury§ , Limin Jia§ , Deepak Garg† , and Anupam Datta§ Carnegie Mellon University§ , Max Planck Institute for Software Systems† {omarc, l

Source URL: www.andrew.cmu.edu

• Logic
• Mathematical logic
• Automated theorem proving
• Logic programming
• Logical truth
• Propositional calculus
• Substitution
• FO
• Constructible universe
• Normal distribution

Quantum Probabilistic Dyadic Second-Order Logic? A. Baltag, J. M. Bergfeld, K. Kishida, J. Sack, S. J. L. Smets, S. Zhong Institute for Logic, Language and Computation, Universiteit van Amsterdam Science Park 107, 1098XG

Source URL: www.joshuasack.info

Learning by Erasing in Dynamic Epistemic Logic Nina Gierasimczuk? Institute for Logic, Language, and Computation, University of Amsterdam Institute of Philosophy, University of Warsaw

Source URL: www.ninagierasimczuk.com

A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While Keiko Nakata and Tarmo Uustalu Institute of Cybernetics at Tallinn University of Technology, Akadeemia tee 21, EETallinn, Estonia, {keiko|t

Source URL: www.cs.ioc.ee

Logic in Automatic Verification Javier Esparza Sofware Reliability and Security Group Institute for Formal Methods in Computer Science University of Stuttgart

Source URL: www7.in.tum.de

The Why3 platform Version, May 2015 François Bobot1,2 Jean-Christophe Filliâtre1,2

Source URL: why3.lri.fr

• Proof assistants
• Functional languages
• Theoretical computer science
• Formal methods
• Logic in computer science
• Frama-C
• SPARK
• Coq
• Isabelle
• OCaml
• Formal verification
• French Institute for Research in Computer Science and Automation

RISC-Linz Research Institute for Symbolic Computation Johannes Kepler University A-4040 Linz, Austria, Europe Sixth International Symposium on

Source URL: www.risc.jku.at

• Theoretical computer science
• Mathematics
• Mathematical logic
• Automated theorem proving
• Logic in computer science
• Type theory
• Unification
• Logic programming
• Anti-unification
• Function
• HindleyMilner type system

On duality relations for session types Giovanni Bernardi1 , Ornela Dardha2 , Simon J. Gay2 , and Dimitrios Kouzapas2,3 1 IMDEA Software Institute, Madrid, Spain

Source URL: www.dcs.gla.ac.uk

• Mathematics
• Logic
• Orbifold
• Holomorphic functional calculus
• Geometry
• Duality
• Projective geometry

Regular Linear Temporal Logic with Past C´esar S´ anchez1,2 and Martin Leucker3 1 Madrid Institute for Advanced Studies (IMDEA Software), Spain

Source URL: software.imdea.org